一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

从系统论看服务主导型数字图书馆的人员结构

将系统理论引入数字图书馆研究中 ,介绍了数字图书馆的人员结构系统以及各个子系统的特点 .阐述了各个子系统和系统环境与用户服务之间的相互关系以及如何利用这种关系来提高数字图书馆的服务     

管道纺包芯纱的研究

本文研究了在管道纺纱机上不添加构件而进行包芯纱的纺制。分析了其包芯纱的成纱机理。观察了实际成纱的横截面,证实了棉纤维能够均匀地、完全地包覆在芯丝的周围。也对不同性质的芯丝所纺包芯纱的结构作了观察,并对不同成纱的性质随速度增加而变化的规律作了研究。     

电子超市易用性评估及链接结构优化模型

用无权有向图来描述网站结构，提出以网站是否方便顾问访问相关商品网页为标准的网站评估方法，建立了一种网站结构优化的数学模型，并采用禁忌搜索算法（TS）对问题进行求解，通过一个随机网站结构的例子，说明更新算法比布尔矩阵乘法以及重复调用广度优先算法进行TS领域搜索具有更高的效率，实例研究表明所述方法可以帮助网站设计者通过减少量的链接得到更加方便顾客使用的网站结构。     

对先进生产力与先进文化之间关系的结构性解读

为了实现“中华民族的伟大复兴” ,需要理论指导 ,对“什么是先进生产力和什么是先进文化”二者之间的关系及结构进行的解读 ,其目的在于指出要达到的二者动态平衡将是一个艰巨、长期和复杂的过程。     

第一临界情形下的三次系统局部结构的判断准则

讨论了第一临界情形下的平面三次系统高次奇点的局部拓朴结构，并给出利用多项式系数的判断准则。     

高含固量聚苯乙烯－聚丙烯酸酯复合乳胶的合成及表征

本文采用种子乳液聚合技术，合成聚苯乙烯－聚丙烯酸酯复合乳液，用ＴＥＭ电镜观察其乳液的形态，用ＧＰＣ方法测定了乳胶聚合物的化学组成。     

高粘度十二烯基琥珀酸淀粉钠理化性质的研究(Ⅱ)——颗粒形貌和乳化性质

原玉米淀粉经十二烯基琥珀酸酐（DDSA）酯化后，颗粒形貌发生变化。经研究认为：化学反应首先发生在淀粉颗凿表面的无定形区；酯化后淀粉的乳化能力明显增强，不同取代度产品的亲水亲油平衡（HLB）值均大于10，表明它为亲水型乳化稳定剂。     

虚拟现实技术及应用

阐述了虚拟现实的定义、重要特征和硬软件基础，研究了虚拟环境的体系结构、组成模块、实现方法和系统分类方法，探讨了其技术的主要应用领域。     

砖混结构砌体工程量的统筹计算法

以砌体结构为例，阐明在工程量计算中应正确应用统筹法，并得出了砌体工程量计算的统筹公式。